Issue2250-2.agda:14,3-22
Cannot use INJECTIVE pragma with safe flag.
